大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Lasted International Symposium Simulation 的图书(共10454本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Hofmann、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enterprise Information Systems [electronic resource] : 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Cordeiro、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Communication Technologies for Vehicles [electronic resource] : Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings

0
索取号：
作者：Strang、 Thomas.、Festag、 Andreas.、Vinel、 Alexey.、Mehmood、 Rashid.、Rico Garcia、 Cristina.、R枚ckl、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

0
索取号：
作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Etalle、 Sandro.、Guttman、 Joshua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Informatics in Control Automation and Robotics [electronic resource] : Revised and Selected Papers from the International Conference on Informatics in Control Automation and Robotics 2009

0
索取号：
作者：Cetto、 Juan Andrade.、Filipe、 Joaquim.、Ferrier、 Jean-Louis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New State of MCDM in the 21st Century [electronic resource] : Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009

0
索取号：
作者：Shi、 Yong.、Wang、 Shouyang.、Kou、 Gang.、Wallenius、 Jyrki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Glocalized Solutions for Sustainability in Manufacturing [electronic resource] : Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011

0
索取号：
作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional Thinking for Value Creation [electronic resource] : Proceedings of the 3rd CIRP International Conference on Industrial Product Service Systems, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 5th - 6th, 2011

0
索取号：
作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enterprise Interoperability [electronic resource] : Third International IFIP Working Conference, IWEI 2011, Stockholm, Sweden, March 23-24, 2011. Proceedings

0
索取号：
作者：Sinderen、 Marten.、Johnson、 Pontus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings

0
索取号：
作者：Salerno、 John.、Yang、 Shanchieh Jay.、Nau、 Dana.、Chai、 Sun-Ki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The United Nations Convention on Contracts for the International Carriage of Goods Wholly or Partly by Sea [electronic resource] : An Appraisal of the "Rotterdam Rules"

0
索取号：
作者：G眉ner-脰zbek、 Meltem Deniz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.